Reiner Hähnle (eds.): Z-Library সাইটে অনুসন্ধান করুন

তহবিল সংগ্রহ ১৫ সেপ্টেম্বর 2024 – ১লা অক্টোবর 2024 তহবিল সংগ্রহের বিষয়ে

জ্ঞান ও সংস্কৃতিতে অবাধ অ্যাক্সেস।

তহবিল সংগ্রহ ১৫ সেপ্টেম্বর 2024 – ১লা অক্টোবর 2024

Z-Library - বিশ্বের অন্যতম বৃহত্তম অনলাইন লাইব্রেরি যেখানে 17,000,000 এর বেশি বই এবং 84,837,000 নিবন্ধ বই রাখা আছে. সাহিত্যকে সবার কাছে অ্যাক্সেসযোগ্য করা আমাদের লক্ষ্য. আজ(১৫ সেপ্টেম্বর 2024) আমরা প্রকল্পটির রক্ষণাবেক্ষণ এবং উন্নয়নের জন্য অতিরিক্ত তহবিল সংগ্রহ শুরু করেছি.

এছাড়াও আনলিমিটেড ডাউনলোডগুলি (ডোনেশন দেওয়ার পরের দিন থেকে ৩১ দিনের জন্য) সমস্ত অবদানকারীদের জন্য উপলব্ধ রয়েছে যারা ১লা অক্টোবর 2024 তারিখ পর্যন্ত তহবিল সংগ্রহের সময়কালে ডোনেশন দেবেন.

তহবিল সংগ্রহের বিষয়েআরও পড়ুন

ডোনেট করুন

1

Deductive Software Verification – The KeY Book: From Theory to Practice

Deductive Software Verification – The KeY Book: From Theory to Practice

Springer International Publishing

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich (eds.)

সাল:

2016

ভাষা:

english

ফাইল:

PDF, 8.26 MB

5.0 / 5.0

english, 2016

2

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Springer-Verlag Berlin Heidelberg

Reiner Hähnle (auth.), Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.)

সাল:

2007

ভাষা:

english

ফাইল:

PDF, 3.94 MB

0 / 0

english, 2007

3

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Anders Schack-Nielsen, Carsten Schürmann (auth.), Jürgen Giesl, Reiner Hähnle (eds.)

সাল:

2010

ভাষা:

english

ফাইল:

PDF, 6.37 MB

0 / 0

english, 2010

4

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Michael Hennell (auth.), Bernhard Beckert, Reiner Hähnle (eds.)

সাল:

2008

ভাষা:

english

ফাইল:

PDF, 1.84 MB

0 / 0

english, 2008

5

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Michael Hennell (auth.), Bernhard Beckert, Reiner Hähnle (eds.)

সাল:

2008

ভাষা:

english

ফাইল:

PDF, 2.96 MB

0 / 0

english, 2008

6

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Springer-Verlag Berlin Heidelberg

Reiner Hähnle (auth.), Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue (eds.)

সাল:

2013

ভাষা:

english

ফাইল:

PDF, 4.72 MB

0 / 0

english, 2013

7

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

W. Bibel, S. Brüning, U. Egly, D. Korn (auth.), Peter Baumgartner, Reiner Hähnle, Joachim Possega (eds.)

সাল:

1995

ভাষা:

english

ফাইল:

DJVU, 3.54 MB

0 / 0

english, 1995

8

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Springer-Verlag Berlin Heidelberg

Reiner Hähnle (auth.), Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue (eds.)

সাল:

2013

ভাষা:

english

ফাইল:

PDF, 6.24 MB

0 / 0

english, 2013

9

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Anders Schack-Nielsen, Carsten Schürmann (auth.), Jürgen Giesl, Reiner Hähnle (eds.)

সাল:

2010

ভাষা:

english

ফাইল:

PDF, 6.60 MB

0 / 5.0

english, 2010

10

Handbook of Tableau Methods

Handbook of Tableau Methods

Springer Netherlands

Melvin Fitting (auth.), Marcello D’Agostino, Dov M. Gabbay, Reiner Hähnle, Joachim Posegga (eds.)

সাল:

1999

ভাষা:

english

ফাইল:

PDF, 23.70 MB

0 / 0

english, 1999

11

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Springer International Publishing

Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.)

সাল:

2014

ভাষা:

english

ফাইল:

PDF, 10.79 MB

0 / 0

english, 2014

12

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

Springer-Verlag Berlin Heidelberg

Reiner Hähnle (auth.), Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.)

সাল:

2007

ভাষা:

english

ফাইল:

PDF, 5.36 MB

0 / 0

english, 2007

13

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

সাল:

2012

ভাষা:

english

ফাইল:

PDF, 10.70 MB

0 / 0

english, 2012

14

Handbook of tableau methods

Handbook of tableau methods

Springer Netherlands

Melvin Fitting (auth.), Marcello D’Agostino, Dov M. Gabbay, Reiner Hähnle, Joachim Posegga (eds.)

সাল:

1999

ভাষা:

english

ফাইল:

DJVU, 5.94 MB

0 / 0

english, 1999

15

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Anders Schack-Nielsen, Carsten Schürmann (auth.), Jürgen Giesl, Reiner Hähnle (eds.)

সাল:

2010

ভাষা:

english

ফাইল:

PDF, 6.32 MB

0 / 0

english, 2010

16

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Springer International Publishing

Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.)

সাল:

2014

ভাষা:

english

ফাইল:

PDF, 8.06 MB

0 / 0

english, 2014

17

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

W. Bibel, S. Brüning, U. Egly, D. Korn (auth.), Peter Baumgartner, Reiner Hähnle, Joachim Possega (eds.)

সাল:

1995

ভাষা:

english

ফাইল:

PDF, 6.37 MB

0 / 0

english, 1995

18

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Sebastian Götz, Max Leuthäuser, Jan Reimann, Julia Schroeter, Christian Wende (auth.), Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen (eds.)

সাল:

2012

ভাষা:

english

ফাইল:

PDF, 12.26 MB

0 / 0

english, 2012

19

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

সাল:

2012

ভাষা:

english

ফাইল:

PDF, 14.99 MB

0 / 0

english, 2012